Performance analysis of probabilistic action systems
نویسندگان
چکیده
منابع مشابه
Probabilistic Behavior in Action Systems
Action systems were originally proposed for the design of parallel and distributed systems in a stepwise manner. Later the formalism has been successfully applied to the design of control systems. When designing control systems very often it is necessary to reason about, e.g. the probabilistic reliability of a controller or some other types of prob-abilistic phenomena. Within action systems for...
متن کاملCoalgebraic analysis of probabilistic systems
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...
متن کاملProbabilistic Analysis of Gas Turbine Field Performance Probabilistic Analysis of Gas Turbine Field Performance Probabilistic Analysis of Gas Turbine Field Performance
A gas turbine thermodynamic cycle was computationally simulated and probabilistically evaluated in view of the several uncertainties in the performance parameters, which are indices of gas turbine health. Cumulative distribution functions and sensitivity factors were computed for the overall thermal efficiency and net specific power output due to the thermodynamic random variables. These result...
متن کاملProbabilistic Evaluation of Seismic Performance of RC Bridges in Iran
Many existing bridges were designed without adequate consideration of seismic risk. The full or partial collapse of even one major bridge in a city or community would have destroying results. There has been focuses on developing fragility-based seismic vulnerability of existing usual bridges in Iran or support decision making on seismic upgrade. This article focuses on developing performance b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2004
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-004-0037-6